1. Advances in Software EngineeringInternational Conference on Advanced Software Engineering and Its Applications, ASEA 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : Congresses ، Software engineering,Congresses ، Computer software-- Development

رده :
QA
76
.
758
.
I5694
2009

2. Advances in software engineering techniques

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Software engineering, Congresses

رده :
QA76
.
758
.
I35
2009eb

3. Balancing agility and formalism in software engineering

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;

4. Component-based software engineering : 8th International Symposium, CBSE 2005, St. Louis, Mo, USA, May 14-15, 2005 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
3489

5. Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
3054

6. FM 2012

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses

رده :
QA76
.
76
.
D47
I593
2012eb

7. First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : Congresses ، Engineering-- Methodology,Congresses ، Computer software-- Development

رده :
TA
5
.
I415
1997

8. Formal methods and software engineering :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
9
.
F67

9. Formal methods for multicore programming

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرم‌افزار -- تولید -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها

رده :
QA
76
.
76
.
F6
2015
E-Book
,

10. Foundations of computer software

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses

رده :
QA76
.
76
.
D47
M66
2011

11. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering

رده :
QA
76
.
76
.
D47
.
M666
2011

12. Fundamental approaches to software engineering :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.

رده :
QA76
.
758
.
F37
2018eb

13. Fundamental approaches to software engineering

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses

رده :
QA76
.
758
.
F44
2012eb

14. Intelligent Software Methodologies, Tools and Techniques

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,Artificial intelligence -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- تولید -- کنگره ها ,هوش مصنوعی-- کنگره‌ها

رده :
QA
76
.
758
.
I5
2015
E-Book
,

15. Intelligent Software Methodologies, Tools and Techniques

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- تولید -- کنگره ها

رده :
TK
5105
.
5
.
I5
2015
E-Book
,

16. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming

رده :
QA
76
.
L28
Vol
.
185-186

17. Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 2005 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer architecture,Congresses ، Computer software -- Development,Congresses ، Software engineering

رده :
QA
76
.
L28
Vol
.
3748

18. Models in software engineering

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ; UML (Computer science) ; Congresses. ;

19. Models in software engineering

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Model-integrated computing, Congresses,Software engineering, Congresses

رده :
QA76
.
758
.
M63
2011eb

20. New modeling concepts for today's software processes

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ; Softwareentwicklung. ; swd. ; Prozessmanagement. ; swd. ; Leistungsbewertung. ; swd. ;